Llistar TÃtols per Matèria "Restricciones pseudo-booleanas"
S'ha trobat un Ãtem:
Format | Data | TÃtol | Autor |
---|---|---|---|
Format | Data | TÃtol | Autor |
![]() |
15 juliol 2019 | Scheduling through logic-based tools | Coll Caballero, Jordi |
S'ha trobat un Ãtem:
Format | Data | TÃtol | Autor |
---|---|---|---|
Format | Data | TÃtol | Autor |
![]() |
15 juliol 2019 | Scheduling through logic-based tools | Coll Caballero, Jordi |
51 - Matemà tiques Scheduling Restriccions pseudo-Booleanes 004 - Informà tica Satisfactibilitat mòdul teories Restricciones pseudo-booleanas Programació de tasques
Coll Caballero, Jordi Suy Franch, Josep Universitat de Girona. Departament d’Informà tica, Matemà tica Aplicada i EstadÃstica (2013-) Villaret i Ausellé, Mateu